261![Intervention Effects as NPI Licensing Intervention Intervention Effects as NPI Licensing Intervention](https://www.pdfsearch.io/img/5cf5bf5502ba0a50af9285bcfa5acdfc.jpg) | Add to Reading ListSource URL: www.lingref.comLanguage: English - Date: 2013-07-01 13:00:00
|
---|
262![An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1 An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1](https://www.pdfsearch.io/img/cf8d62068a119728b1879ab1c6027129.jpg) | Add to Reading ListSource URL: www-compsci.swan.ac.ukLanguage: English - Date: 2006-06-30 15:47:08
|
---|
263![Model Checking Games for Branching Time Logics Martin Lange and Model Checking Games for Branching Time Logics Martin Lange and](https://www.pdfsearch.io/img/1130f5d134e3cbc654ed2933d8d92e58.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-05-20 09:55:06
|
---|
264![Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk](https://www.pdfsearch.io/img/afb533f09008c31091288a5b5cbeb6bc.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-05-20 09:57:33
|
---|
265![Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗](https://www.pdfsearch.io/img/83b4ca1b2352ab9cc7fd171aefc7e8bb.jpg) | Add to Reading ListSource URL: mally.stanford.eduLanguage: English - Date: 2011-03-26 14:18:16
|
---|
266![Description Logics Description Logics and Logics Description Logics Description Logics and Logics](https://www.pdfsearch.io/img/12177a647c1a66a38fdd5e995b22c58b.jpg) | Add to Reading ListSource URL: www.inf.unibz.itLanguage: English - Date: 2011-09-08 09:53:47
|
---|
267![Description Logics Using First Order Logic Description Logics Using First Order Logic](https://www.pdfsearch.io/img/e623fd68a17c13b0f25677f070270d18.jpg) | Add to Reading ListSource URL: www.inf.unibz.itLanguage: English - Date: 2011-09-08 09:53:47
|
---|
268![Description Logics Foundations of First Order Logic Description Logics Foundations of First Order Logic](https://www.pdfsearch.io/img/93fad36deeb4d5daa72671589765f6c2.jpg) | Add to Reading ListSource URL: www.inf.unibz.itLanguage: English - Date: 2011-09-08 09:53:47
|
---|
269![Arithmetic Decision Procedures: a simple introduction Michael Norrish Arithmetic Decision Procedures: a simple introduction Michael Norrish](https://www.pdfsearch.io/img/1b3d9e4a28d1863e68cac49cd4ea3d8e.jpg) | Add to Reading ListSource URL: users.cecs.anu.edu.auLanguage: English - Date: 2003-11-07 00:31:44
|
---|